METAL[3]

The specification metalanguage used in the SMoLCS for a formal definition of Ada.

"An Introduction to the SMoLCS Methodology", E. Astesiano, University of Genoa, 1986.